Constant-Size Commitments to Polynomials and Their Apprications